computation tree logic造句
例句與造句
- Stuttering equivalence is not the same as bisimulation, since bisimulation cannot capture the semantics of the'eventually'( or'finally') operator found in computation tree logic ( branching time logic ) ( modal logic ).
- It's difficult to find computation tree logic in a sentence. 用computation tree logic造句挺難的